4da9f25d45d70bbbe169a1a3add5ca7b2134b8ee,plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/MarkerUtil.java,AddMarkersOperation,execute,#IProgressMonitor#,51

Before Change


			if (!file.exists())
				return;
			if (deleteMarkers)
				file.deleteMarkers(markerId, true, IResource.DEPTH_ZERO);
			if (!issues.isEmpty()) {
				// update
				for (Map<String, Object> map : issues) {

After Change


			if (!file.exists())
				return;
			if (deleteMarkers)
				for (String markerID : getMarkerIDs(checkMode)) {
					file.deleteMarkers(markerID, true, IResource.DEPTH_INFINITE);
				}
			if (!issues.isEmpty()) {
				// update